tools-include-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:30 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 28 Oct 2016 13:53:37 +0000 (14:53 +0100)
commit0a55a6d7ad6bcc22c5e591aa38df57e0cec9d1ee
tree4655399c1ada22063fd5951f0e39fa1dab2d08db
parente9a27a240d5ca10b0caf0db83847d9a0257202bb
tools-include-install.diff

Patch-Name: tools-include-install.diff

Gbp-Pq: Name tools-include-install.diff
tools/include/Makefile